Inland waters, rivers English version – SOSI standard 4.0 Inland waters, rivers English version – SOSI standard 4.0 Inland waters, rivers

Source URL: www.kartverket.no

OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti

Source URL: tenor2015.tenor-conference.org

• Software engineering
• Concurrency
• Models of computation
• Constraint programming
• Diagrams
• Programming paradigms
• Formal methods
• Theoretical computer science
• Petri net
• Constraint logic programming
• Decomposition method

Functional Programming with Pros and Cons Benny H¨ ockner and Peter Sauer and Petra Hofstedt Brandenburg University of Technology, Cottbus {benny.hoeckner,peter.sauer,petra.hofstedt}@tu-cottbus.de

Source URL: www.bioinf.uni-leipzig.de

• Declarative programming
• Constraint programming
• Software engineering
• Programming paradigms
• Computer programming
• Constraint logic programming
• Logic programming
• Constraint satisfaction
• Concurrent constraint logic programming

The Pennsylvania State University The Graduate School College of Earth and Mineral Sciences DOES TOPOLOGY PREDICT GEOGRAPHIC (2D) EVENT SEGMENTATION?

Source URL: www.geovista.psu.edu

• Knowledge representation
• Reasoning
• Logic
• Mathematics
• Computational topology
• Constraint programming
• Region connection calculus
• Mathematical logic
• Ontology
• Topology
• Image segmentation
• Topological space

RULE SOLVER™ Constraint Programming with OpenRules® USER MANUAL

Source URL: openrules.com

• Software engineering
• Computing
• Software
• Expert systems
• Rule engines
• Numerical software
• Decision support systems
• Mathematical modeling
• Constraint satisfaction
• Constraint programming
• Business rules engine
• AMPL

Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the

Source URL: repository.readscheme.org

• Theoretical computer science
• Programming paradigms
• Software engineering
• Logic in computer science
• Declarative programming
• Programming language semantics
• Constraint programming
• Logic programming
• Operational semantics
• Imperative programming
• CLP
• Programming language

COSC
480/MATH
482
 CPLEX
Installation
and
Usage
Guide
 September
24,
2012
 
 For
Mac:
 


Source URL: faculty.smcm.edu

• Mathematical optimization
• Computer file formats
• Constraint programming
• Theoretical computer science
• CPLEX
• Computing
• ILOG
• Sol
• Nl
• Computer science

Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway

Source URL: fm.csl.sri.com

• Theoretical computer science
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Solver
• SMT
• Uninterpreted function
• Model checking
• Alt-Ergo

CS261: A Second Course in Algorithms Lecture #8: Linear Programming Duality (Part 1)∗ Tim Roughgarden† January 28,

Source URL: theory.stanford.edu

• Mathematical optimization
• Operations research
• Convex optimization
• Linear programming
• Mathematical analysis
• Duality
• Constraint
• Feasible region
• Semidefinite programming
• Lagrangian relaxation

University of the Aegean Department of Information and Communication Systems Engineering Artificial Intelligence Laboratory Adaptive Strategies for Solving Constraint Satisfaction Problems

Source URL: www.icsd.aegean.gr

• Constraint programming
• Operations research
• Software engineering
• Constraint satisfaction problem
• Computer programming
• Local consistency
• Search algorithms
• Constraint satisfaction
• Mathematical optimization
• Backtracking